#!/bin/bash
HEADERS="assert.h stdarg.h setjmp.h stdio.h stdlib.h string.h sys/types.h stddef.h time.h ctype.h stdint.h"
mkdir -p sys
for HEADER in $HEADERS
do
	echo "Writing $HEADER..."
	cat base-header > $HEADER
done


